Veritas – a Verification Tool for Knowledge-based Systems for Power System Control Centres

During the last years, electrical utilities began to install intelligent applications in order to assist Control Centre operators. The Verification and Validation (V&V) process intends to assure the reliability of these applications, even under incident conditions. This paper addresses the Validation and Verification of Knowledge-Based Systems (KBS) in general, focussing particularly on the V&V of SPARSE, a KBS used in the Portuguese Transmission Network for incident analysis and power restoration. VERITAS is a verification tool developed to verify SPARSE Knowledge Base. This tool performs knowledge base structural analysis allowing the detection of knowledge anomalies.